# SPDX-License-Identifier: GPL-2.0+

obj-y += board.o
obj-y += lowlevel_init.o
obj-y += rtkit.o
